1. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعهها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. An Outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. <An> outline of set theory
پدیدآورنده : James M. Henle
موضوع : Set theory,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
6. An introduction to analysis
پدیدآورنده : Zaring, Wilson M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. An introduction to analysis
پدیدآورنده : Zaring, Wilson M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. An introduction to modern mathematics
پدیدآورنده : Monjallon, Albert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
رده :
QA
248
.
M513
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. An outline of set theory
پدیدآورنده : / James M.Henle
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Set theory,Logic,symbolic and mathematical
رده :
511
.
322
H514o
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. An outline of set theory
پدیدآورنده : James M. Henle,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
.
H43
248
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. <An> outline of set theory
پدیدآورنده : James M. Henle
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. An outline of set theory
پدیدآورنده : James M. Henle.
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. An outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. An outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Axiomatic theory of sets and classes
پدیدآورنده : Eisenberg, Murray
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
E37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G2413
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
پدیدآورنده : / Alejandro R. Garciadiego
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
رده :
QA9
.
G2413
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Bertrand Russell and the origins of the set-theoretic 'paradoxes',Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
رده :
QA
9
.
G2413
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Cabal Seminar 77-79: proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
839
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)